Universal logic - PDFSEARCH.IO - Document Search Engine

Universal logic
Results: 479

#	Item
401	Programmable Logic Controllers FX Family Add to Reading List Source URL: www.a-aelectric.com Language: English - Date: 2013-06-20 21:57:18 X10 Universal Serial Bus Computer Programmable logic device Technology Automation Programmable logic controller
402	73. Arbeitstagung Allgemeine Algebra (founded by R. Wille and continued by R. P¨oschel) Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2007-08-22 05:51:54 Fuzzy logic Logic Lattice theory Stone algebra Lattice Clone Residuated lattice BL Abstract algebra Mathematics Universal algebra
403	Mathematical Institute Slovak Academy of Sciences Add to Reading List Source URL: www.mat.savba.sk Language: English - Date: 2012-04-24 01:30:23 Algebraic logic Algebraic structures Operator theory Universal algebra Boolean algebra MV-algebra Ordinary differential equation Von Neumann algebra Variety Abstract algebra Mathematics Mathematical logic
404	The Interpretation of Universally Quantified DPs and Singular Definites in Adverbially Quantified Sentences Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:21 Logic Syntax Parts of speech Grammar Quantificational variability effect Generalized quantifier Definite description Universal quantification Adverb Linguistics Quantification Semantics
405	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
406	THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-07-14 09:38:18 Algebraic structures Alumni of the University of Bristol John V. Tucker Universal algebra Boolean algebra Interior algebra Banach algebra Abstract algebra Algebra Mathematics
407	Specifying, programming, and verifying in Maude Some applications to Model-Driven Engineering and Graph Rewriting (material based on a course by Narciso Mart´ı-Oliet, Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-10-24 10:43:00 Universal algebra Mathematical logic Model theory Functional languages Formal languages ALGOL 68 Structure Rewriting Q Programming language theory Mathematics Logic
408	Specifying, programming, and verifying in Maude Narciso Mart´ı-Oliet Departamento de Sistemas Inform´ aticos y Computaci´ on Universidad Complutense de Madrid Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2007-09-19 11:08:13 Mathematical logic Universal algebra Model theory Functional languages Logic in computer science Unification Equational logic Signature Structure Theoretical computer science Mathematics Programming language theory
409	I N S T I T U T I O N T H E O RY A N D A P P L I C AT I O N S ˘ Z VA N D I A C O N E S C U RA Add to Reading List Source URL: imar.ro Language: English - Date: 2014-05-21 03:45:34 Model theory Theoretical computer science Many-valued logic Institution Classical logic Universal logic Formal semantics First-order logic Alexander Grothendieck Logic Mathematics Mathematical logic
410	UNIFORM ALMOST EVERYWHERE DOMINATION PETER CHOLAK, NOAM GREENBERG, AND JOSEPH S. MILLER Add to Reading List Source URL: www.ims.nus.edu.sg Language: English - Date: 2010-01-12 23:03:20 Mathematics Probability theory Spectral theory Logic Holomorphic functional calculus Model theory Structure Universal algebra

UPDATE